-
1 logically valid sentence
Математика: логически общезначимое предложениеУниверсальный англо-русский словарь > logically valid sentence
-
2 logically valid sentence
English-Russian scientific dictionary > logically valid sentence
-
3 logically valid sentence
Англо-русский словарь по исследованиям и ноу-хау > logically valid sentence
-
4 logically
1) логично
2) логически
3) последовательно ∙ logically consistent data ≈ логически непротиворечивые данные logically constructed relation ≈ логически построенное соотношение logically defined class ≈ логически определенный класс logically determinate event ≈ логически определенное событие logically determinate formula ≈ логически определенная формула logically equivalent circuits ≈ логически эквивалентные схемы logically equivalent propositions ≈ логически эквивалентные высказывания logically equivalent statements ≈ логически эквивалентные высказывания logically false expression ≈ логически ложное выражение logically indeterminate event ≈ логически неопределенное событие logically irreducible relation ≈ логически неприводимое соотношение logically necessary hypothesis ≈ логически необходимая гипотеза logically related events ≈ логически связанные события logically true expression ≈ логически истинное выражение logically true sentence ≈ логически истинное предложение logically true statement ≈ логически истинное высказывание logically universal sentence ≈ логически универсальное предложение logically valid formula ≈ логически общезначимая формула logically valid sentence ≈ логически общезначимое предложение - logically absurd - logically complex - logically conclusive - logically consistent - logically contradictory - logically correct - logically defined - logically dependent - logically determinate - logically equivalent - logically exhaustive - logically false - logically imply - logically impossible - logically inconsistent - logically independent - logically indeterminate - logically justifiable - logically necessary - logically true - logically universal - logically valid - multiply logically логично;
логически логически рассуждая - *, one should become wiser with experience but some people never do по логике, нам следовало бы становиться умнее с годами, но некоторым из нас это не удаетсяБольшой англо-русский и русско-английский словарь > logically
-
5 sentence
1) высказывание; предложение; фраза2) суждение•- almost false sentence - almost true sentence - analytically expressible sentence - arithmetically expressible sentence - logically universal sentence - logically valid sentence
См. также в других словарях:
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Entailment — For other uses, see Entail (disambiguation). In logic, entailment is a relation between a set of sentences (e.g.,[1] meaningfully declarative sentences or truthbearers) and a sentence. Let Γ be a set of one or more sentences; let S1 be the… … Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Gödel's completeness theorem — is a fundamental theorem in mathematical logic that establishes a correspondence between semantic truth and syntactic provability in first order logic. It was first proved by Kurt Gödel in 1929. A first order formula is called logically valid if… … Wikipedia
Interpretation (logic) — An interpretation is an assignment of meaning to the symbols of a formal language. Many formal languages used in mathematics, logic, and theoretical computer science are defined in solely syntactic terms, and as such do not have any meaning until … Wikipedia
Formal interpretation — A formal interpretation [http://books.google.com/books?id=weKqT3ka5g0C pg=PA74 lpg=PA74 dq=%22Formal+interpretation%22+%22formal+language%22 source=web ots=pLN ms7Wi2 sig=P JqwdzOqLcX4nMpP64qmacnkDU hl=en#PPA74,M1 Cann Ronnie, Formal Semantics:… … Wikipedia
Semantic holism — is a doctrine in the philosophy of language to the effect that a certain part of language, be it a term or a complete sentence, can only be understood through its relations to a (previously understood) larger segment of language. There is… … Wikipedia
Tautology (logic) — In propositional logic, a tautology (from the Greek word ταυτολογία) is a propositional formula that is true under any possible valuation (also called a truth assignment or an interpretation) of its propositional variables. For example, the… … Wikipedia
History of logic — Philosophy ( … Wikipedia
Second-order logic — In logic and mathematics second order logic is an extension of first order logic, which itself is an extension of propositional logic.[1] Second order logic is in turn extended by higher order logic and type theory. First order logic uses only… … Wikipedia